home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / kcl / akcl / akcl1615.lha / lsp / sys-proclaim.lisp < prev    next >
Text File  |  1990-11-18  |  7KB  |  139 lines
  1.  
  2. (IN-PACKAGE "SYSTEM") 
  3. (PROCLAIM
  4.     '(FTYPE (FUNCTION (T) FIXNUM) S-DATA-SIZE THE-START S-DATA-LENGTH)) 
  5. (PROCLAIM '(FTYPE (FUNCTION (T T) FIXNUM) THE-END)) 
  6. (PROCLAIM '(FTYPE (FUNCTION (T T T T T T T) *) TRACE-CALL)) 
  7. (PROCLAIM
  8.     '(FTYPE (FUNCTION (T T T) *) READ-INSPECT-COMMAND LIST-MERGE-SORT
  9.             SHARP-S-READER)) 
  10. (PROCLAIM
  11.     '(FTYPE (FUNCTION (T T *) *) SORT STABLE-SORT SET-UP-FOR-DUMP-INPUT
  12.             SLOOP::FIND-IN-ORDERED-LIST REDUCE)) 
  13. (PROCLAIM
  14.     '(FTYPE (FUNCTION (T T *) T) SLOOP::PARSE-LOOP-MACRO SOME SUBSETP
  15.             SLOOP::IN-ARRAY-SLOOP-FOR MAKE-SEQUENCE UNION
  16.             WRITE-DEBUG-SYMBOLS MISMATCH NINTERSECTION NOTANY NOTEVERY
  17.             NSET-DIFFERENCE NSET-EXCLUSIVE-OR NUNION POSITION
  18.             POSITION-IF POSITION-IF-NOT REMOVE REMOVE-IF REMOVE-IF-NOT
  19.             REPLACE SEARCH SLOOP::LOOP-ADD-BINDING SET-DIFFERENCE
  20.             SET-EXCLUSIVE-OR DELETE DELETE-IF DELETE-IF-NOT EVERY FILL
  21.             FIND BIT-AND BIT-ANDC1 FIND-IF BIT-ANDC2 FIND-IF-NOT
  22.             BIT-EQV BIT-IOR BIT-NAND BIT-NOR BIT-ORC1 BIT-ORC2 BIT-XOR
  23.             INTERSECTION)) 
  24. (PROCLAIM
  25.     '(FTYPE (FUNCTION (T T T) T) DM-VL SETF-EXPAND-1
  26.             TYPECASE-ERROR-STRING
  27.             SLOOP::LOOP-PARSE-ADDITIONAL-COLLECTIONS SHARP-A-READER
  28.             DEPOSIT-FIELD DEFMACRO* DPB CHECK-TRACE-ARGS MAKE-T-TYPE
  29.             GET-SLOT-POS CHECK-S-DATA)) 
  30. (PROCLAIM '(FTYPE (FUNCTION (T T T T T T *) T) ENCODE-UNIVERSAL-TIME)) 
  31. (PROCLAIM
  32.     '(FTYPE (FUNCTION (T T T T T) T) MAKE-CONSTRUCTOR MAKE-PREDICATE)) 
  33. (PROCLAIM
  34.     '(FTYPE (FUNCTION (T T T T T T T T T T *) T) MAKE-ACCESS-FUNCTION)) 
  35. (PROCLAIM
  36.     '(FTYPE (FUNCTION (T T T T T T T T T T T T *) T) DEFINE-STRUCTURE)) 
  37. (PROCLAIM
  38.     '(FTYPE (FUNCTION (T T T T) T) SLOOP::FIRST-USE-SLOOP-FOR
  39.             SLOOP::FIRST-SLOOP-FOR SETF-STRUCTURE-ACCESS CALL-TEST)) 
  40. (PROCLAIM
  41.     '(FTYPE (FUNCTION (T T T *) T) SUBSTITUTE SUBSTITUTE-IF
  42.             SUBSTITUTE-IF-NOT MAP NSUBSTITUTE NSUBSTITUTE-IF
  43.             NSUBSTITUTE-IF-NOT SLOOP::LOOP-DECLARE-BINDING)) 
  44. (PROCLAIM '(FTYPE (FUNCTION (T T T T T *) T) UNIVERSAL-ERROR-HANDLER)) 
  45. (PROCLAIM
  46.     '(FTYPE (FUNCTION (T T T T *) T) SLOOP::DEF-LOOP-INTERNAL MERGE)) 
  47. (PROCLAIM '(FTYPE (FUNCTION (FIXNUM FIXNUM) FIXNUM) ROUND-UP)) 
  48. (PROCLAIM
  49.     '(FTYPE (FUNCTION NIL *) BREAK-MESSAGE BREAK-UNHIDE-ALL
  50.             SIMPLE-BACKTRACE BREAK-CURRENT)) 
  51. (PROCLAIM
  52.     '(FTYPE (FUNCTION NIL T) SLOOP::PARSE-LOOP-FOR
  53.             DM-TOO-MANY-ARGUMENTS DM-TOO-FEW-ARGUMENTS BREAK-HELP-HELP
  54.             BREAK-HELP-STACK-FUNS BREAK-TAGS BREAK-VARIABLES
  55.             INSPECT-READ-LINE INSPECT-INDENT INSPECT-INDENT-1
  56.             SLOOP::LOOP-POP SLOOP::LOOP-UN-POP SLOOP::LOOP-PEEK
  57.             BREAK-BLOCKS SLOOP::PARSE-LOOP1 SLOOP::PARSE-LOOP-DO
  58.             SLOOP::PARSE-ONE-WHEN-CLAUSE BREAK-VARIABLES-VALUES
  59.             SLOOP::PARSE-LOOP-WHEN SLOOP::PARSE-LOOP-COLLECT
  60.             BREAK-FUNCTIONS SET-CURRENT BREAK-HELP SET-ENV TEST-ERROR
  61.             TOP-LEVEL SLOOP::TYPE-ERROR ILLEGAL-BOA
  62.             ALL-TRACE-DECLARATIONS STEP-READ-LINE)) 
  63. (PROCLAIM
  64.     '(FTYPE (FUNCTION (*) *) LOC BACKTRACE SHOW-BREAK-VARIABLES
  65.             BREAK-LOCAL BREAK-LOCALS BREAK-NEXT BREAK-PREVIOUS
  66.             BREAK-QUIT BREAK-VS)) 
  67. (PROCLAIM
  68.     '(FTYPE (FUNCTION (*) T) Y-OR-N-P YES-OR-NO-P
  69.             SLOOP::PARSE-LOOP-WITH SLOOP::PARSE-LOOP-DECLARE VECTOR
  70.             MAKE-S-DATA DRIBBLE BREAK)) 
  71. (PROCLAIM
  72.     '(FTYPE (FUNCTION (T) *) BREAK-HIDE BREAK-HIDE-PACKAGE
  73.             FIND-DECLARATIONS SEARCH-STACK PRIN1-TO-STRING BREAK-UNHIDE
  74.             PRINC-TO-STRING INSPECT-OBJECT BREAK-UNHIDE-PACKAGE
  75.             BREAK-BDS BREAK-GO IHS-FNAME DESCRIBE GET-SETF-METHOD
  76.             GET-SETF-METHOD-MULTIPLE-VALUE INSPECT)) 
  77. (PROCLAIM '(FTYPE (FUNCTION (T :DYNAMIC-EXTENT *) T) ADJUST-ARRAY)) 
  78. (PROCLAIM
  79.     '(FTYPE (FUNCTION (T T *) FIXNUM) VECTOR-PUSH-EXTEND INTERNAL-COUNT
  80.             COUNT COUNT-IF COUNT-IF-NOT INTERNAL-COUNT-IF
  81.             INTERNAL-COUNT-IF-NOT)) 
  82. (PROCLAIM '(FTYPE (FUNCTION (T FIXNUM FIXNUM T T) T) QUICK-SORT)) 
  83. (PROCLAIM
  84.     '(FTYPE (FUNCTION (T) T) SIGNUM S-DATA-PRINT-FUNCTION
  85.             DM-KEY-NOT-ALLOWED SINH S-DATA-SLOT-DESCRIPTIONS
  86.             SLOOP::AVERAGING-SLOOP-MACRO S-DATA-SLOT-POSITION
  87.             SLOOP::REPEAT-SLOOP-MACRO SLOOP::SUBSTITUTE-SLOOP-BODY
  88.             SIMPLE-ARRAY-P S-DATA-HAS-HOLES SLOOP::RETURN-SLOOP-MACRO
  89.             NORMALIZE-TYPE S-DATA-FROZEN KNOWN-TYPE-P LOGNOT
  90.             S-DATA-DOCUMENTATION S-DATA-CONSTRUCTORS S-DATA-OFFSET
  91.             DM-BAD-KEY S-DATA-NAMED S-DATA-TYPE BEST-ARRAY-ELEMENT-TYPE
  92.             TANH SLOOP::SLOOP-SLOOP-MACRO SHOW-ENVIRONMENT VECTOR-POP
  93.             INSPECT-SYMBOL SLOOP::LOOP-COLLECT-KEYWORD-P PHASE
  94.             INSPECT-PACKAGE INSPECT-CHARACTER INSPECT-NUMBER
  95.             SLOOP::PARSE-NO-BODY INSPECT-CONS INSPECT-STRING
  96.             INSPECT-VECTOR TERMINAL-INTERRUPT PROVIDE INSPECT-ARRAY
  97.             INSPECT-STRUCTURE SLOOP::TRANSLATE-NAME
  98.             SLOOP::LOOP-LET-BINDINGS SLOOP::PARSE-LOOP
  99.             BREAK-BACKWARD-SEARCH-STACK ASK-FOR-FORM
  100.             SLOOP::PARSE-LOOP-INITIALLY TYPECASE-ERROR-STRINGS BOIN-P
  101.             BREAK-FORWARD-SEARCH-STACK 
  102.             SLOOP::POINTER-FOR-COLLECT PRINT-IHS PRINT-FRS LEAP-YEAR-P
  103.             FRS-KIND NUMBER-OF-DAYS-FROM-1900 IHS-VISIBLE
  104.             IHS-COMPILED-P PRINT-SYMBOL-APROPOS BYTE-SIZE SEQTYPE CIS
  105.             FIND-DOCUMENTATION COSH TRACE-ONE UNTRACE-ONE ABS S-DATA-P
  106.             ACOS TRACE-ONE-PREPROCESS RATIONAL ACOSH CHECK-TRACE-SPEC
  107.             CHECK-DECLARATIONS RESET-TRACE-DECLARATIONS
  108.             ARRAY-DIMENSIONS ASIN ASINH FREEZE-DEFSTRUCT ATANH
  109.             FIND-ALL-SYMBOLS S-DATA-NAME S-DATA-RAW S-DATA-INCLUDED
  110.             ISQRT S-DATA-INCLUDES BYTE-POSITION S-DATA-STATICP)) 
  111. (PROCLAIM
  112.     '(FTYPE (FUNCTION (T *) *) SET-UP-FOR-DUMP-OUTPUT PRINT-DOC
  113.             APROPOS-DOC WRITE-TO-STRING READ-FROM-STRING
  114.             DECODE-UNIVERSAL-TIME STEPPER APROPOS FCEILING FFLOOR
  115.             FROUND FTRUNCATE)) 
  116. (PROCLAIM
  117.     '(FTYPE (FUNCTION (T *) T) SLOOP::ADD-FROM-DATA MAKE-ARRAY
  118.             REMOVE-DUPLICATES REQUIRE SBIT SLOOP::LOOP-ADD-TEMPS
  119.             CONCATENATE WARN BAD-SEQ-LIMIT DELETE-DUPLICATES
  120.             APROPOS-LIST ARRAY-IN-BOUNDS-P ARRAY-ROW-MAJOR-INDEX BIT
  121.             BIT-NOT)) 
  122. (PROCLAIM '(FTYPE (FUNCTION (T T) *) FIND-DOC SUBTYPEP TYPEP)) 
  123. (PROCLAIM
  124.     '(FTYPE (FUNCTION (T T) T) LDB-TEST LOGANDC1 SLOOP::PARSE-LOOP-MAP
  125.             LOGANDC2 LOGNAND LOGNOR DM-V SLOOP::IN-TABLE-SLOOP-MAP
  126.             DM-NTH SUB-INTERVAL-P LOGORC1 DM-NTH-CDR IN-INTERVAL-P
  127.             LOGORC2 SLOOP::IN-PACKAGE-SLOOP-MAP MATCH-DIMENSIONS
  128.             LOGTEST SUPER-GO SLOOP::=-SLOOP-FOR MASK-FIELD
  129.             SLOOP::IN-CAREFULLY-SLOOP-FOR VECTOR-PUSH SETF-HELPER
  130.             SLOOP::COLLATE-SLOOP-COLLECT SLOOP::IN-FRINGE-SLOOP-MAP
  131.             SLOOP::DESETQ1 SETF-EXPAND SLOOP::L-EQUAL SUBSTRINGP
  132.             INCREMENT-CURSOR SEQUENCE-CURSOR BREAK-CALL SLOOP::THE-TYPE
  133.             SLOOP::MAKE-VALUE LIST-DELQ CHECK-SEQ-START-END COERCE
  134.             DOCUMENTATION PARSE-SLOT-DESCRIPTION
  135.             OVERWRITE-SLOT-DESCRIPTIONS SLOOP::SUM-SLOOP-COLLECT
  136.             SLOOP::LOGXOR-SLOOP-COLLECT SLOOP::MAXIMIZE-SLOOP-COLLECT
  137.             SLOOP::MINIMIZE-SLOOP-COLLECT SLOOP::COUNT-SLOOP-COLLECT
  138.             SLOOP::THEREIS-SLOOP-COLLECT SLOOP::ALWAYS-SLOOP-COLLECT
  139.             BYTE SLOOP::NEVER-SLOOP-COLLECT LDB))